Formal methods

Formal methods are important - but they are each only one kind of thing. A reasonable rule of thumb is that formal methods have to be tried and shaped based on exhaustive applications of the methods to real world problems. back to Jim Bromer Theory